-- Expected output: 1.5
DEF MAIN:nat == div(3, 0)

